data Stream e = Stream e (Stream e)